From Nonstandard Analysis to various flavours of Computability Theory

As suggested by the title, it has recently become clear that theorems of Nonstandard Analysis (NSA) give rise to theorems in computability theory (no longer involving NSA). Now, the aforementioned discipline divides into classical and higher-order computability theory, where the former (resp. the latter) sub-discipline deals with objects of type zero and one (resp. of all types). The aforementioned results regarding NSA deal exclusively with the higher-order case; we show in this paper that theorems of NSA also give rise to theorems in classical computability theory by considering so-called textbook proofs.Comment: To appear in the proceedings of TAMC2017 (http://tamc2017.unibe.ch/

Dopamine in nucleus accumbens: salience modulation in latent inhibition and overshadowing

Latent inhibition (LI) is demonstrated when non-reinforced pre-exposure to a to-be-conditioned stimulus retards later learning. Learning is similarly retarded in overshadowing, in this case using the relative intensity of competing cues to manipulate associability. Electrolytic/excitotoxic lesions to shell accumbens (NAc) and systemic amphetamine both reliably abolish LI. Here a conditioned emotional response procedure was used to demonstrate LI and overshadowing and to examine the role of dopamine (DA) within NAc. Experiment 1 showed that LI but not overshadowing was abolished by systemic amphetamine (1.0 mg/kg i.p.). In Experiment 2, 6-hydroxydopamine (6-OHDA) was used to lesion DA terminals within NAc: both shell- and core- (plus shell-)lesioned rats showed normal LI and overshadowing. Experiment 3 compared the effects of amphetamine microinjected at shell and core coordinates prior to conditioning: LI, but not overshadowing, was abolished by 10.0 but not 5.0 µg/side amphetamine injected in core but not shell NAc. These results suggest that the abolition of LI produced by NAc shell lesions is not readily reproduced by regionally restricted DA depletion within NAc; core rather than shell NAc mediates amphetamine-induced abolition of LI; overshadowing is modulated by different neural substrates

Effects of religious vs. standard cognitive behavioral therapy on therapeutic alliance: A randomized clinical trial

Background: Treatments that integrate religious clients' beliefs into therapy may enhance the therapeutic alliance (TA) in religious clients. Objective: Compare the effects of religiously integrated cognitive behavioral therapy (RCBT) and standard CBT (SCBT) on TA in adults with major depression and chronic medical illness. Method: Multi-site randomized controlled trial in 132 participants, of whom 108 (SCBT = 53, RCBT = 55) completed the Revised Helping Alliance Questionnaire (HAQ-II) at 4, 8, and 12 weeks. Trajectory of change in scores over time was compared between groups. Results: HAQ-II score at 4 weeks predicted a decline in depressive symptoms over time independent of treatment group (B = −0.06, SE = 0.02, p = 0.002, n = 108). There was a marginally significant difference in HAQ-II scores at 4 weeks that favored RCBT (p = 0.076); however, the mixed effects model indicated a significant group by time interaction that favored the SCBT group (B = 1.84, SE = 0.90, degrees of freedom = 181, t = 2.04, p = 0.043, d = 0.30). Conclusions: While RCBT produces a marginally greater improvement in TA initially compared with SCBT, SCBT soon catches up

HCV reinfection incidence and spontaneous clearance rates in HIV-positive men who have sex with men in Western Europe

BACKGROUND & AIMS: Moderate cure rates of acute hepatitis C virus (HCV) infections with pegylated interferon and ribavirin have been described in the last decade in men who have sex with men (MSM), who are also coinfected with the human immunodeficiency virus (HIV). However, a subsequent high incidence of HCV reinfections has been reported regionally in men who both clear the infection spontaneously or who respond to treatment. METHODS: Retrospective analysis of reinfections in HIV infected MSM in eight centers from Austria, France, Germany, and the UK within the NEAT network between May 2002 and June 2014. RESULTS: Of 606 individuals who cleared HCV spontaneously or were successfully treated, 149 (24.6%) presented with a subsequent HCV reinfection. Thirty out of 70 (43%) who cleared again or were successfully treated, presented with a second reinfection, 5 with a third, and one with a fourth reinfection. The reinfection incidence was 7.3/100 person-years (95% CI 6.2-8.6). We found a trend for lower incidence among individuals who had spontaneously cleared their incident infection than among individuals who were treated (Hazard ratio 0.62, 95% CI 0.38-1.02, p=0.06). Spontaneous clearance of reinfection was associated with ALT levels >1000IU/ml and spontaneous clearance of a prior infection. CONCLUSIONS: HCV reinfection is an issue of major concern in HIV-positive MSM. Prevention strategies are needed for high risk groups to reduce morbidity and treatment costs. HIV-positive MSM with a prior HCV infection should be tested every 3 to 6months for reinfection. Those who had achieved a reinfection should be tested every 3months. LAY SUMMARY: We evaluated the occurrence of HCV reinfection in HIV-positive men who have sex with men. We found an alarming incidence of 7.3/100 person-years. Prevention measures need to address this specific subgroup of patients at high risk for HCV

The origin and evolution of syntax errors in simple sequence flow models in BPMN

How do syntax errors emerge? What is the earliest moment that potential syntax errors can be detected? Which evolution do syntax errors go through during modeling? A provisional answer to these questions is formulated in this paper based on an investigation of a dataset containing the operational details of 126 modeling sessions. First, a list is composed of the different potential syntax errors. Second, a classification framework is built to categorize the errors according to their certainty and severity during modeling (i.e., in partial or complete models). Third, the origin and evolution of all syntax errors in the dataset are identified. This data is then used to collect a number of observations, which form a basis for future research

Molecular cloning and transcriptional activity of a new Petunia calreticulin gene involved in pistil transmitting tract maturation, progamic phase, and double fertilization

Calreticulin (CRT) is a highly conserved and ubiquitously expressed Ca2+-binding protein in multicellular eukaryotes. As an endoplasmic reticulum-resident protein, CRT plays a key role in many cellular processes including Ca2+ storage and release, protein synthesis, and molecular chaperoning in both animals and plants. CRT has long been suggested to play a role in plant sexual reproduction. To begin to address this possibility, we cloned and characterized the full-length cDNA of a new CRT gene (PhCRT) from Petunia. The deduced amino acid sequence of PhCRT shares homology with other known plant CRTs, and phylogenetic analysis indicates that the PhCRT cDNA clone belongs to the CRT1/CRT2 subclass. Northern blot analysis and fluorescent in situ hybridization were used to assess PhCRT gene expression in different parts of the pistil before pollination, during subsequent stages of the progamic phase, and at fertilization. The highest level of PhCRT mRNA was detected in the stigma–style part of the unpollinated pistil 1 day before anthesis and during the early stage of the progamic phase, when pollen is germinated and tubes outgrow on the stigma. In the ovary, PhCRT mRNA was most abundant after pollination and reached maximum at the late stage of the progamic phase, when pollen tubes grow into the ovules and fertilization occurs. PhCRT mRNA transcripts were seen to accumulate predominantly in transmitting tract cells of maturing and receptive stigma, in germinated pollen/growing tubes, and at the micropylar region of the ovule, where the female gametophyte is located. From these results, we suggest that PhCRT gene expression is up-regulated during secretory activity of the pistil transmitting tract cells, pollen germination and outgrowth of the tubes, and then during gamete fusion and early embryogenesis

Comparative Study of Gender's Attitude toward the Intention to Imitate Korean Celebrity Endorsement

The purpose of this study is to addresses the issue of how gender affecting attitude towards the intention to imitate Korean celebrity endorsement in advertisement among young Malaysians. Particularly, the researchers would like to scrutinize whether young Malaysians male and female are different attitudinally when it comes to intention to imitate Korean celebrity endorsement. A survey of 602 young consumers aged between 18 to 29 years old were participated in this study. A Multi-Group Analysis (PLS-MGA) was carried out to examine differences between two groups (male and female) in particular their intention to imitate Korean celebrity in Malaysia. The results demonstrate the comparative study of gender between male and female attitude toward the intention to imitate korean celebrity endorsement, there are no different if we want to see which characteristics, even though, whether celebrity characteristics the results is the same from male and female. However, the current researchers found that there was a different effect in terms of the level of acceptance of male and female when they affected by celebrity. The result shows that although there are relationship between attractiveness, credibility, trustworthiness, expertise, and attitude towards intention to imitate Korean celebrity endorsement, but they did not indicate major differences between male and female. In addition, there were no significant difference between male group and female group

Polybrominated Diphenyl Ether (PBDE) Flame Retardants and Thyroid Hormone during Pregnancy

BACKGROUND: Human exposure to polybrominated diphenyl ether (PBDE) flame retardants has increased exponentially over the last three decades. Animal and human studies suggest that PBDEs may disrupt thyroid function. Although thyroid hormone (TH) of maternal origin plays an essential role in normal fetal brain development, there is a paucity of human data regarding associations between exposure to PBDEs and maternal TH levels during pregnancy. OBJECTIVES: Our goal was to determine whether PBDE serum concentrations are associated with TH levels in pregnant women. METHODS: We measured the concentration of 10 PBDE congeners, free thyroxine (T4), total T4, and thyroid-stimulating hormone (TSH) in 270 pregnant women around the 27th week of gestation. RESULTS: Serum concentrations of individual PBDE congeners with detection frequencies > 50% (BDEs 28, 47, 99, 100, and 153) and their sum (ΣPBDEs) were inversely associated with TSH levels. Decreases in TSH ranged between 10.9% [95% confidence interval (CI), -20.6 to 0.0] and 18.7% (95% CI, -29.2 to -4.5) for every 10-fold increase in the concentration of individual congeners. Odds of subclinical hyperthyroidism (low TSH but normal T4) were also significantly elevated in participants in the highest quartile of ΣPBDEs and BDEs 100 and 153 relative to those in the first quartile. Associations between PBDEs and free and total T4 were not statistically significant. Results were not substantially altered after the removal of outliers and were independent of the method used to adjust for blood lipid levels and to express ΣPBDEs. CONCLUSIONS: Results suggest that exposure to PBDEs is associated with lower TSH during pregnancy. Findings may have implications for maternal health and fetal development

Postglacial expansion of the arctic keystone copepod calanus glacialis

Calanus glacialis, a major contributor to zooplankton biomass in the Arctic shelf seas, is a key link between primary production and higher trophic levels that may be sensitive to climate warming. The aim of this study was to explore genetic variation in contemporary populations of this species to infer possible changes during the Quaternary period, and to assess its population structure in both space and time. Calanus glacialis was sampled in the fjords of Spitsbergen (Hornsund and Kongsfjorden) in 2003, 2004, 2006, 2009 and 2012. The sequence of a mitochondrial marker, belonging to the ND5 gene, selected for the study was 1249 base pairs long and distinguished 75 unique haplotypes among 140 individuals that formed three main clades. There was no detectable pattern in the distribution of haplotypes by geographic distance or over time. Interestingly, a Bayesian skyline plot suggested that a 1000-fold increase in population size occurred approximately 10,000 years before present, suggesting a species expansion after the Last Glacial Maximum.GAME from the National Science Centre, the Polish Ministry of Science and Higher Education Iuventus Plus [IP2014 050573]; FCT-PT [CCMAR/Multi/04326/2013]; [2011/03/B/NZ8/02876

Signatures of arithmetic simplicity in metabolic network architecture

Metabolic networks perform some of the most fundamental functions in living cells, including energy transduction and building block biosynthesis. While these are the best characterized networks in living systems, understanding their evolutionary history and complex wiring constitutes one of the most fascinating open questions in biology, intimately related to the enigma of life's origin itself. Is the evolution of metabolism subject to general principles, beyond the unpredictable accumulation of multiple historical accidents? Here we search for such principles by applying to an artificial chemical universe some of the methodologies developed for the study of genome scale models of cellular metabolism. In particular, we use metabolic flux constraint-based models to exhaustively search for artificial chemistry pathways that can optimally perform an array of elementary metabolic functions. Despite the simplicity of the model employed, we find that the ensuing pathways display a surprisingly rich set of properties, including the existence of autocatalytic cycles and hierarchical modules, the appearance of universally preferable metabolites and reactions, and a logarithmic trend of pathway length as a function of input/output molecule size. Some of these properties can be derived analytically, borrowing methods previously used in cryptography. In addition, by mapping biochemical networks onto a simplified carbon atom reaction backbone, we find that several of the properties predicted by the artificial chemistry model hold for real metabolic networks. These findings suggest that optimality principles and arithmetic simplicity might lie beneath some aspects of biochemical complexity